#Distributed Systems

Research

Developing Techniques to Test Correctness of Formal Specifications
Advisor, 
Prof. Manos Kapritsos
Oct. 2022 - Mar. 2023
University of Michigan

Explore techniques for testing the correctness of formal specifications, a crucial aspect given that the reliability of formal verification projects relies on accurate specifications, an area lacking awareness and techniques.

Mitigating Application Resource Overload with Targeted Task Cancellation
Yigong Hu, 
Zeyin Zhang, 
Yicheng Liu, 
Yile Gu, 
Shuangyu Lei, 
Baris Kasikci, 
Ryan Huang
Mar. 2023 - Feb. 2024
Symposium on Operating Systems Principles (SOSP) 2025

Develop a preemptive scheduling library aiming to enhance system performance utilizing application-implemented cancel mechanisms.

Detecting Privacy and Security Errors in Federated Learning Frameworks
Advisor, 
Prof. Hakim Weatherspoon
Aug. 2025 - Present

Detecting Privacy and Security Errors in Federated Learning Frameworks.

Privacy-Preserving Federated Learning Framework via Confidential Containers & KubeStellar
Advisor, 
Prof. Hakim Weatherspoon
Aug. 2024 - Present
Cornell University

Developing a private computation space evaluating ML model for Digital Agriculture via KubeStellar & Secure Enclaves